|
Witsenhausen's counterexample, shown in the figure below, is a deceptively simple toy problem in decentralized stochastic control. It was formulated by Hans Witsenhausen in 1968.〔Witsenhausen, Hans. "A counterexample in stochastic optimum control." ''SIAM J. Control'', Volume 6, Issue 1, pp. 131–147 (February 1968)〕 It is a counterexample to a natural conjecture that one can generalize a key result of centralized linear-quadratic-Gaussian control systems: that affine (linear) control laws are optimal. Witsenhausen showed that there exist nonlinear control laws that outperform all linear laws in a decentralized context. The problem of finding the optimal control law remains unsolved.〔Ho, Yu-Chi, "Review of the Witsenhausen problem". ''Proceedings of the 47th IEEE Conference on Decision and Control (CDC)'', pp. 1611–1613, 2008.〕 File:WitsenhausenCounterexample.jpg ==Statement of the counterexample== The statement of the counterexample is simple: two controllers attempt to control the system by attempting to bring the state close to zero in exactly two time steps. The first controller observes the initial state There is a cost on the input of the first controller, and a cost on the state after the input of the second controller. The input of the second controller is free, but it is based on noisy observations of the state after the first controller's input. The second controller cannot communicate with the first controller and thus cannot observe either the original state or the input of the first controller. Thus the system dynamics are : : with the second controller's observation equation : The objective is to minimize an expected cost function, :, where the expectation is taken over the randomness in the initial state and the observation noise , which are distributed independently. The observation noise is assumed to be distributed in a Gaussian manner, while the distribution of the initial state value differs depending on the particular version of the problem. The problem is to find control functions : that give at least as good a value of the objective function as do any other pair of control functions. Witsenhausen showed that the optimal functions and cannot be linear. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Witsenhausen's counterexample」の詳細全文を読む スポンサード リンク
|